module Boolean
abstract sig Bool {}
one sig True extends Bool {}
one sig False extends Bool {}
